// Declaration file daikon-output/DataStructures/QueueAr.decls rewritten by ComparablePairsDescFileReader
// Wed Jun 04 20:58:04 EDT 2003
VarComparability
implicit

// Declarations for DataStructures/QueueAr.java
// Written Wed Jun  4 20:57:04 2003


ListImplementors
java.util.List


DECLARE
DataStructures.QueueAr.QueueAr():::ENTER

DECLARE
DataStructures.QueueAr.QueueAr():::EXIT30
this
DataStructures.QueueAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
0
this.front
int
int
0
this.back
int
int
0

DECLARE
DataStructures.QueueAr.QueueAr(int):::ENTER
capacity
int # isParam=true
int
0

DECLARE
DataStructures.QueueAr.QueueAr(int):::EXIT39
capacity
int # isParam=true
int
0
this
DataStructures.QueueAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
0
this.front
int
int
0
this.back
int
int
0

DECLARE
DataStructures.QueueAr.isEmpty():::ENTER
this
DataStructures.QueueAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
0
this.front
int
int
0
this.back
int
int
0

DECLARE
DataStructures.QueueAr.isEmpty():::EXIT47
return
boolean
boolean
0
this
DataStructures.QueueAr # isParam=true
hashcode
3
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
2[1]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
1
this.front
int
int
1
this.back
int
int
1

DECLARE
DataStructures.QueueAr.isFull():::ENTER
this
DataStructures.QueueAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
0
this.front
int
int
0
this.back
int
int
0

DECLARE
DataStructures.QueueAr.isFull():::EXIT56
return
boolean
boolean
0
this
DataStructures.QueueAr # isParam=true
hashcode
3
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
2[1]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
1
this.front
int
int
1
this.back
int
int
1

DECLARE
DataStructures.QueueAr.makeEmpty():::ENTER
this
DataStructures.QueueAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
0
this.front
int
int
0
this.back
int
int
0

DECLARE
DataStructures.QueueAr.makeEmpty():::EXIT67
this
DataStructures.QueueAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
0
this.front
int
int
0
this.back
int
int
0

DECLARE
DataStructures.QueueAr.getFront():::ENTER
this
DataStructures.QueueAr # isParam=true
hashcode
-2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
-2[-2]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
-2
this.front
int
int
-2
this.back
int
int
-2

DECLARE
DataStructures.QueueAr.getFront():::EXIT77
return
java.lang.Object
hashcode
-2
return.class
java.lang.Class
java.lang.String
-1
this
DataStructures.QueueAr # isParam=true
hashcode
-2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
-2[-2]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
-2
this.front
int
int
-2
this.back
int
int
-2

DECLARE
DataStructures.QueueAr.getFront():::EXIT78
return
java.lang.Object
hashcode
-2
return.class
java.lang.Class
java.lang.String
-1
this
DataStructures.QueueAr # isParam=true
hashcode
-2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
-2[-2]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
-2
this.front
int
int
-2
this.back
int
int
-2

DECLARE
DataStructures.QueueAr.dequeue():::ENTER
this
DataStructures.QueueAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
0
this.front
int
int
0
this.back
int
int
0

DECLARE
DataStructures.QueueAr.dequeue():::EXIT88
return
java.lang.Object
hashcode
-2
return.class
java.lang.Class
java.lang.String
-1
this
DataStructures.QueueAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
0
this.front
int
int
0
this.back
int
int
0

DECLARE
DataStructures.QueueAr.dequeue():::EXIT94
return
java.lang.Object
hashcode
0
return.class
java.lang.Class
java.lang.String
-1
this
DataStructures.QueueAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
0[1]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
1
this.front
int
int
1
this.back
int
int
1

DECLARE
DataStructures.QueueAr.enqueue(java.lang.Object):::ENTER
x
java.lang.Object # isParam=true
hashcode
1
x.class
java.lang.Class
java.lang.String
-1
this
DataStructures.QueueAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
0
this.front
int
int
0
this.back
int
int
0

DECLARE
DataStructures.QueueAr.enqueue(java.lang.Object):::EXIT109
x
java.lang.Object # isParam=true
hashcode
1
x.class
java.lang.Class
java.lang.String
-1
this
DataStructures.QueueAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
0
this.front
int
int
0
this.back
int
int
0

DECLARE
DataStructures.QueueAr.increment(int):::ENTER
x
int # isParam=true
int
0
this
DataStructures.QueueAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
0
this.front
int
int
0
this.back
int
int
0

DECLARE
DataStructures.QueueAr.increment(int):::EXIT120
x
int # isParam=true
int
1
return
int
int
1
this
DataStructures.QueueAr # isParam=true
hashcode
0
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
2[1]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
1
this.front
int
int
1
this.back
int
int
1

DECLARE
DataStructures.QueueAr.main(java.lang.String[]):::ENTER
args
java.lang.String[] # isParam=true
hashcode
1
args.class
java.lang.Class
java.lang.String
-1
args[]
java.lang.String[]
java.lang.String[]
0[1]
args[].toString
java.lang.String[]
java.lang.String[]
-1

DECLARE
DataStructures.QueueAr.main(java.lang.String[]):::EXIT201
args
java.lang.String[] # isParam=true
hashcode
1
args.class
java.lang.Class
java.lang.String
-1
args[]
java.lang.String[]
java.lang.String[]
0[1]
args[].toString
java.lang.String[]
java.lang.String[]
-1

DECLARE
DataStructures.QueueAr:::OBJECT
this
DataStructures.QueueAr # isParam=true
hashcode
2
this.theArray
java.lang.Object[]
hashcode
-2
this.theArray.class
java.lang.Class
java.lang.String
-1
this.theArray[]
java.lang.Object[]
hashcode[]
1[0]
this.theArray[].class
java.lang.Class[]
java.lang.String[]
-1
this.currentSize
int
int
0
this.front
int
int
0
this.back
int
int
0
